-
1 induction predicate
1) Математика: индукционный предикат2) Вычислительная техника: индуктивный предикат -
2 induction predicate
-
3 induction predicate
English-Russian information technology > induction predicate
-
4 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
5 индукционный предикат
Большой англо-русский и русско-английский словарь > индукционный предикат
-
6 variable
1) переменная2) изменяемый; переменный; регулируемый•- additional variable
- allocated variable
- alphanumeric string variable
- alphameric string variable
- anonimous variable
- apparent variable
- artificial variable
- attached variable
- automatic variable
- auxiliary variable
- based variable
- basic variable
- Boolean variable
- bound variable
- chance variable
- character variable
- compile time variable
- complemented variable
- conditional variable
- control variable
- controlled variable
- decision variable
- dependent variable
- design variable
- digital variable
- dummy variable
- element variable
- endogenous variable - exogenous variable
- file-name variable
- file variable
- fixed variable
- free variable
- fuzzy variable
- global variable
- independent variable
- induction variable
- input variable - key variable
- label variable
- local variable
- logical variable
- logic variable
- loop-control variable
- loop variable
- main variable
- manipulated variable
- master variable
- metalinguistic variable
- missing variable
- morphic variable
- multicharacter variable
- mutually independent variables
- noncontrollable variable
- normalized variable
- notation variable
- operator variable
- output variable
- pointer variable
- predicate variable
- private variable
- process variable
- quantified variable
- random variable
- real variable
- regulated variable
- scalar variable
- selected variable
- shared variable
- simple variable
- slack variable
- slave variable
- state variable
- statement label variable
- status variable
- stochastic variable
- structure variable
- subscripted variable
- switching variable
- switch variable
- syntactic variable
- system variable
- task variable
- temporary variable
- ternary-valued variable
- top variable
- two-state variable
- two-valued variable
- unassigned variable
- unbound variable
- uncomplemented variable
- uncontrollable variable
- undeclared variable
- undefined variable
- uninitialized variable
- unregulated variable
- unrestricted variableEnglish-Russian dictionary of computer science and programming > variable
-
7 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
8 generalization
1) обобщение, генерализация2) концептуальное описание; общая характеристика•- multivariate generalizationgeneralization by induction — обобщение по индукции, индуктивное обобщение
-
9 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
См. также в других словарях:
Problem of induction — The problem of induction is the philosophical question of whether inductive reasoning is valid. That is, what is the justification for either:# generalizing about the properties of a class of objects based on some number of observations of… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… … Wikipedia
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
μ operator — In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Contents 1 Definition 2 Properties 3 Examples … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… … Wikipedia